8b07176df36fcc8f520392f45f804967229dcf87,prism/src/prism/ModelGenerator2MTBDD.java,ModelGenerator2MTBDD,sortRanges,#,377
Before Change
varColRangeDDs = new JDDNode[numVars];
for (i = 0; i < numVars; i++) {
// obtain range dd by abstracting from identity matrix
JDD.Ref(varIdentities[i]);
varRangeDDs[i] = JDD.SumAbstract(varIdentities[i], varDDColVars[i]);
// obtain range dd by abstracting from identity matrix
JDD.Ref(varIdentities[i]);
varColRangeDDs[i] = JDD.SumAbstract(varIdentities[i], varDDRowVars[i]);
// build up range for whole system as we go
JDD.Ref(varRangeDDs[i]);
range = JDD.Apply(JDD.TIMES, range, varRangeDDs[i]);
}
// module ranges
moduleRangeDDs = new JDDNode[1];
After Change
varColRangeDDs = new JDDNode[numVars];
for (i = 0; i < numVars; i++) {
// obtain range dd by abstracting from identity matrix
varRangeDDs[i] = JDD.SumAbstract(varIdentities[i].copy(), varDDColVars[i]);
// obtain range dd by abstracting from identity matrix
varColRangeDDs[i] = JDD.SumAbstract(varIdentities[i].copy(), varDDRowVars[i]);
// build up range for whole system as we go
range = JDD.Apply(JDD.TIMES, range, varRangeDDs[i].copy());
}
// module ranges
moduleRangeDDs = new JDDNode[1];